<?php
"$x"